/*->h.vxprint */

extern void printframe(vxscreen ** vsc);
extern int  vxpinvert;
extern pset vxpset;
extern void vxdumpscreen(int fp);
extern void vxtextdump(vxscreen ** vsc);

